indiscernible sequence?
Morley sequence?
Ramsey theorem?
Erdos-Rado theorem?
Ehrenfeucht-Fraïssé games (back-and-forth games)
Hrushovski construction?
generic predicate?
physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
Application of model theory to foundations of physics…
Boris Zilber, On model theory, non-commutative geometry and physics, (survey draft) (pdf)
John Alexander Cruz Morales, Interplay between model theory, noncommutative geometry and physics after Boris Zilber Workshop “Philosophy of Mechanics: Mathematical Foundations” February 12-14, 2014 - Université Paris Diderot (pdf)
John Alexander Cruz Morales, Boris Zilber, The geometric semantics of algebraic quantum mechanics (arXiv:1410.7277)
Last revised on March 9, 2017 at 18:30:27. See the history of this page for a list of all contributions to it.